Formal Synthesis of Cyber-Physical Systems
نویسندگان
چکیده
This report documents the program and the outcomes of Dagstuhl Seminar 17201 “Formal Synthesis of Cyber-Physical Systems.” Formal synthesis is the application of algorithmic techniques based on automata and logic to the design of controllers for hybrid systems in which continuous components interact with discrete ones. The Dagstuhl seminar brought together researchers from control theory and from computer science to discuss the state-of-the-art and current challenges in the field. Seminar May 14–19, 2017 – http://www.dagstuhl.de/17201 1998 ACM Subject Classification I.2.8 Problem Solving, Control Methods, and Search—Control theory; I.2.2 Automatic Programming; F.3.1 Specifying and Verifying and Reasoning about Programs
منابع مشابه
Formal Synthesis and Data-Driven Verification of Cyber-Physical Systems
OF THE DISSERTATION Formal Synthesis and Data-Driven Verification of Cyber-Physical Systems
متن کاملTimed-Automata Abstraction of Switched Dynamical Systems Using Control Funnels
The development of formal methods for control design is an important challenge with potential applications in a wide range of safety-critical cyber-physical systems. Focusing on switched dynamical systems, we propose a new abstraction, based on time-varying regions of invariance (the control funnels), that models behaviors of systems as timed automata. The main advantage of this method is that ...
متن کاملFormal Specification for Transportation Cyber Physical Systems
Transportation cyber physical systems such as automotive, aviation, and rail involve interactions between software controllers, communication networks, and physical devices. These systems are among the most complex cyber physical systems being designed by humans, but added time and cost constraints make their development a significant technical challenge. Formal specification technologies are n...
متن کاملGenerating Test Cases for Cyber Physical Systems from Formal Specifications
Formal methods and testing are two important approaches that assist in the development of cyber physical systems. Formal specification can be used to assist testing and Formal methods and testing are seen as complementary. In this paper, we address the problem of generating test cases for cyber physical systems from formal specifications, and reduce an infinite set of testing parameters into a ...
متن کاملSpecification of Railway Transportation Cyber Physical Systems Using Formal Approach
Transportation cyber physical systems such as automotive, aviation, and rail involve interactions between software controllers, communication networks, and physical devices. These systems are among the most complex cyber physical systems being designed by humans, but added time and cost constraints make their development a significant technical challenge. Formal specification technologies are n...
متن کامل